On the decidability of the existence of polyhedral invariants in transition systems

Generating Discrete Trace Transition System of a Polyhe-dral Invariant Hybrid Automaton

Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode trans...

New Improvement in Interpretation of Gravity Gradient Tensor Data Using Eigenvalues and Invariants: An Application to Blatchford Lake, Northern Canada

Recently, interpretation of causative sources using components of the gravity gradient tensor (GGT) has had a rapid progress. Assuming N as the structural index, components of the gravity vector and gravity gradient tensor have a homogeneity degree of -N and - (N+1), respectively. In this paper, it is shown that the eigenvalues, the first and the second rotational invariants of the GGT (I1 and ...

Decidability and Tameness in the Theory of Finite Semigroups

Cure Kinetic of Polyurethane/Fluorinated POSS Hybrid

One of the decisive factors in obtaining the desired properties in coatings is their complete curing, which necessitates the study of kinetics of curing. In recent years, many studies have been conducted on the use of polyhedral oligomeric silsesquioxane (POSS) in coatings. Creating functional groups on POSS and using it in formulation can create new or improve the properties of coatings. I...

O-Minimal Invariants for Linear Loops

The termination analysis of linear loops plays a key rôle in several areas of computer science, including program verification and abstract interpretation. Such deceptively simple questions also relate to a number of deep open problems, such as the decidability of the Skolem and Positivity Problems for linear recurrence sequences, or equivalently reachability questions for discrete-time linear ...